consistency of premises

前提的相容性